typisierte Programmiersprache

typisierte Programmiersprache,

 

Bezeichnung für eine Programmiersprache, die bei Variablen und Funktionen zwischen verschiedenen Datentypen unterscheidet (Typisierung). Im Prinzip sind die meisten Sprachen typisiert, allerdings trifft dies in jeweils unterschiedlichem Maß zu. Bei einer streng typisierten Sprache ist es z. B. nicht möglich, Zahlen mit verschiedenen numerischen Datentypen (Real, Integer, Double,. ..) zu addieren. Auch eine Zuweisung x = 2 an einer Real-Variable x würde als Fehler zurückgewiesen, da »2« als Integer-Konstante interpretiert würde. Um solche an sich sinnvollen Operationen zu ermöglichen, nehmen viele Sprachen automatische Datentypkonversionen vor; im obigen Beispiel würde der Variablen x automatisch der passende Wert 2,0 zugewiesen. Unsinnige Operationen, wie z. B. die Addition eines Strings zu einer Zahl (die an sich auch möglich wäre, da ja auch die Zeichen eines Strings durch Zahlenwerte kodiert werden), sind dagegen in allen typisierten Sprachen verboten.

 

Nicht typisiert sind z. B. Logo und bestimmte Makrosprachen.